Michael O'Boyle is a Professor of Computing and Director of the Institute for Computing Systems Architecture at the University of Edinburgh School of Informatics.